The k-variable property is stronger than H-dimension k
نویسندگان
چکیده
We study the notion of H-dimension and the formally stronger kvariable property, as considered by Gabbay and Immerman & Kozen. We exhibit a class of flows of time that has H-dimension 3, and admits a finite expressively complete set of one-dimensional connectives, but does not have the k-variable property for any finite k. Published in Journal of Philosophical Logic 26 (1997) 81–101. Publisher’s pdf available at http://www.springerlink.com/content/v1072477405v4031/ fulltext.pdf
منابع مشابه
The Quasi-morphic Property of Group
A group is called morphic if for each normal endomorphism α in end(G),there exists β such that ker(α)= Gβ and Gα= ker(β). In this paper, we consider the case that there exist normal endomorphisms β and γ such that ker(α)= Gβ and Gα = ker(γ). We call G quasi-morphic, if this happens for any normal endomorphism α in end(G). We get the following results: G is quasi-morphic if and only if, for any ...
متن کاملThe Application of Hybrid RSM/ANN Methodology of an Iron-based Catalyst Performance in Fischer-Tropsch Synthesis
In this research, the performance and kinetics of an iron/manganese oxide catalyst in a fixed-bed reactor by Fischer-Tropsch Synthesis is studied. The range of operating conditions are; P = 1 – 12 bar, T = 513 - 553 K, H2/CO ratio = 1 - 2 and GHSV = 4200 – 7000 ((〖cm〗^3 (STP))/h/g_cat). The effect of these independent variables, on Fischer-Tropsch product were performed by using a statistical m...
متن کاملSonochemical Synthesis of Ca(OH)2 Nanoparticles and Its Application in Preparation of MWCNT-Paraloid Nanocomposite
In this work at the first step calcium hydroxide nano-particles were synthesized via sono-chemical method at room temperature. At the second step aminated multi-walled carbon nano-tubes was prepared via chemical modification of surfaces of CNT. Finally modified-MWCNT and Ca(OH)2 were added to paraloid matrix by aid of ultrasonic irradiation. Paraloid-modified-MWCNT-Ca(OH)2...
متن کاملStrain and Damage Sensing Property of Self-compacting Concrete Reinforced with Carbon Fibers
Present paper investigated the strain and damage sensing property on concrete cubes embedded with carbon fibers. Concrete cubes of dimension 150 mm have been casted with different concentration of carbon fibers to study the strain and damage sensing property under cyclic loading that can be further used for health monitoring as non-destructive testing (NDT) approach. All the specimens were test...
متن کاملPrioritizing the indexes of Discretion, Heterogeny and Autogeny factors in order to analyze and evaluate their readiness for ideal situation of Central bank of the Islamic republic of Iran
the purpose of this research is to prioritize the indexes of discretion, Heterogeny and Autogeny factors in order to analyze and evaluate their readiness for ideal situation of Central bank of the Islamic Republic of Iran (CBI). This research is an exploratory kind and in terms of method is a survey kind. The data collection tool is questionnaire. After two Delphi cycles, in final questionnaire...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Philosophical Logic
دوره 26 شماره
صفحات -
تاریخ انتشار 1997